" Anna Ingólfsdóttir" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Reactive systems: modelling, specification and verification

Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba

1.97 Mb

#2

Reactive Systems: Modelling, Specification and Verification

Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba

1.92 Mb

#3

Reactive Systems: Modelling, Specification and Verification

Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba

1.86 Mb

#4

Foundations of Software Science and Computational Structures: 9th International Conference, FOSSACS 2006, Held as Part of the Joint European

Luca Aceto, Anna Ingólfsdóttir

4.60 Mb